Excerpts from documentary "Towards a Semantic Language of Mathematics" Wolfram 9:04 7 years ago 4 558 Далее Скачать
CICM2021: The Design of Mathematical Language - Jeremy Avigad leanprover community 1:07:26 3 years ago 2 105 Далее Скачать
Mathematics and Linguistics: The Structure of Language Arthur's Science 8:46 1 year ago 710 Далее Скачать
How Do We Build Meaning with Math? Set Theory and Adjectives The Ling Space 8:45 8 years ago 10 767 Далее Скачать
Math problem of the day: Pool filling puzzle #mathproblem #logic puzzles #problemsolving #maths Samathics 0:30 2 days ago 285 Далее Скачать
Thinking vs. Knowing: The Semantics and Pragmatics of Presuppositions The Ling Space 9:30 7 years ago 21 263 Далее Скачать
Sam Bowman: "Toward natural language semantics in learned representations" Institute for Pure & Applied Mathematics (IPAM) 29:35 6 years ago 4 030 Далее Скачать
Peter Sewell: Underpinning mainstream engineering with mathematical semantics London Mathematical Society 1:25:43 2 years ago 528 Далее Скачать
Math isn't hard, it's a language | Randy Palisoc | TEDxManhattanBeach TEDx Talks 8:55 9 years ago 3 514 601 Далее Скачать
Math isn't actually Sorcery ✨🪄 #terencetao #mathematics MasterClass 0:42 10 months ago 49 767 Далее Скачать
Anyone Can Be a Math Person Once They Know the Best Learning Techniques | Po-Shen Loh | Big Think Big Think 3:53 7 years ago 2 074 897 Далее Скачать
Semantic Mathematical Content, Encoding and Exposure ~ Eric Weisstein @ I Annotate 2014 Hypothesis 18:34 10 years ago 484 Далее Скачать
Nature of Semantic Externalism About Mathematical Reference Daedalus 5:49 1 year ago 26 Далее Скачать